@charset "utf-8";

body, input, select, text, pre, table {
  font-family:        "Verdana", sans-serif;
  font-size:          10px;
  line-height:        12px;
}

body {
  margin: 0;
  padding: 0;
  background: #eee;
}

h1, div.panel {
  border: 1px solid;
  border-color: #888;
  border-radius: 4px;
  padding: 4px;
  margin-top: 4px;
  margin-bottom: 0px;
  margin-left: 4px;
  margin-right: 0px;
  background: #fff;
}

h1, div.contents-panel, div.log-panel {
  margin-right: 4px;
}

h1 {
  font-size: 20px;
  font-weight: bold;
  text-align: center;
  padding-top: 8px;
  padding-bottom: 8px;
}

h1.console {
  position: fixed;
  top: 0px;
  left: 0px;
  width: 988px;
}

h2 {
  font-size: 12px;
  font-weight: bold;
  text-align: center;
  padding-top: 2px;
  padding-bottom: 4px;
  margin: 0;
}

div.detector-panel {
  width: 320px;
  height: 538px;
}

div.wfs-detector-panel {
  position: fixed;
  top: 33px;
  left: 0px;
}

div.instrument-detector-panel {
  position: fixed;
  top: 33px;
  left: 334px;
}

div.finder-detector-panel {
  position: fixed;
  top: 33px;
  left: 668px;
}

div.detector-image {
  width: 320px;
  height: 256px;
  padding: 0;
}

div.summary {
}

div.log-panel {
  width: 480px;
  position: relative;
  left: 1002px;
}

div.log {
  white-space: pre;
  min-height: 1024px;
}

div.lamp-panel {
  width: 320px;
  height: 75px;
  position: fixed;
  top: 584px;
  left: 0px;
}

div.housekeeping-panel {
  width: 320px;
  height: 63px;
  position: fixed;
  top: 672px;
  left: 0px;
}

div.telescope-panel {
  width: 320px;
  position: fixed;
  top: 584px;
  left: 334px;
}

div.wfc-panel {
  width: 320px;
  position: fixed;
  top: 584px;
  left: 668px;
}

div.pop-up-panel {
  width: 978px;
  height: 502px;
  position: fixed;
  top: 38px;
  left: 5px;
  display: none;
  z-index: 1;
}

form, input, select {
  margin: 0px;
  padding: 0px;
}

input.submit {
  width: 155px;
}

input.offset {
  width: 101px;
}

select {
  width: 155px;
}

input.text {
  width: 151px;
}

table {
  border-collapse:    "collapse";
}

table, tdata, tr, td {
  margin: 0;
  padding: 0;
  font-size:          9px;
  line-height:        10px;
}

td {
  padding-right: 4px;
}

emph.saturated {
  background: #f93;
}

emph.error {
  background: #faa;
}

img {
  padding: 0;
  border: 0;
}

.left {
}

.right {
}
